#include <stdio.h>
int main(){
  char c;
  int ascii;
  int freq;
  while(1){
    c=getchar();
    if(c==EOF) break;
    while(c!='(') c=getchar();
    scanf("%d",&ascii);
    c=getchar();
    while(c!=':') c=getchar();
    scanf("%d",&freq);
    printf("\tfreq[%d]=%d;\n",ascii,freq);
    c=getchar();
    while(c!='\n') c=getchar();
  }
  return 0;
}
